<?php

if (!function_exists('getmtime'))
{
	function getmtime()
	{
		$a = explode (' ',microtime());
		return(double) $a[0] + $a[1];
	}
}

// For benchmarking
global $StartTime;
$StartTime = getmtime();
